Logic and Mathematics
نویسنده
چکیده
1 Logic 2 1.1 Aristotelean logic . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.1 Subjects and predicates . . . . . . . . . . . . . . . . . . . 3 1.1.2 Syllogisms . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 The predicate calculus . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2.1 Predicates and individuals . . . . . . . . . . . . . . . . . . 5 1.2.2 Formulas and logical operators . . . . . . . . . . . . . . . 6 1.2.3 Logical validity and logical consequence . . . . . . . . . . 7 1.2.4 The completeness theorem . . . . . . . . . . . . . . . . . . 9 1.2.5 Formal theories . . . . . . . . . . . . . . . . . . . . . . . . 9
منابع مشابه
An Introduction to the Use of Fuzzy Mathematics in Archeology (Case Study: Virtual Reconstruction of Togrul Tower by Using Fuzzy Reliability)
Nowadays, the use of fuzzy mathematics and fuzzy logic are increasing in various sciences. Archaeology is one of the sciences that is less attended with the methods of fuzzy mathematics and fuzzy logic. Due to the nature of many archaeological data, however, the use of such methods in archaeology can be beneficial. In this research, it has been tried to explain applications of fuzzy logic and f...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملReliability Measures Measurement under Rule-Based Fuzzy Logic Technique
In reliability theory, the reliability measures contend the very important and depreciative role for any system analysis. Measurement of reliability measures is not easy due to ambiguity and vagueness which exist within reliability parameters. It is also very difficult to incorporate a large amount of uncertainty in well-established methodologies and techniques. However, fuzzy logic provides an...
متن کاملOn the compactness property of extensions of first-order G"{o}del logic
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
متن کاملLinear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کامل